$\vdash$  $\forall$$T$:Type, $n$, $m$:$\mathbb{N}$, $f$:($T$$\rightarrow$($T$ + Top)). $f$\^{}$n$+$m$ = $f$\^{}$n$ o $f$\^{}$m$